Generating data flow analysis algorithms from modal specifications
نویسندگان
چکیده
منابع مشابه
Generating Data Flow Analysis Algorithms from Modal Specifications
The paper develops a framework that is based on the idea that modal logic provides an appropriate framework for the speciication of data ow analysis (DFA) algorithms as soon as programs are represented as models of the logic. This can be exploited to construct a DFA-generator that generates eecient implementations of DFA-algorithms from modal speciications by partially evaluating a speciic mode...
متن کاملGenerating Data Flow Programs from Nonprocedural Specifications
Data flow is a mode of parallel computation in which parallelism in a program can be exploited at the fine grained as well as macro level. A data flow computer executes a data dependency graph rather than the program counter controlled sequence of instructions executed by conventional machines. Nonprocedural languages appear to be especially appropriate high level languages for data flow comput...
متن کاملGenerating test data from SOFL specifications
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Bases that are commonly used include the source code, control ow graphs, design representations, and speci cations/requirements. Formal speci cations represent a signi cant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form...
متن کاملGenerating test data from state-based specifications
Although the majority of software testing in industry is conducted at the system level, most formal research has focused on the unit level. As a result, most system-level testing techniques are only described informally. This paper presents formal testing criteria for system level testing that are based on formal specifications of the software. Software testing can only be formalized and quanti...
متن کاملGenerating software from specifications
ions on a high level transformed into executable software (using domain knowledge) User understands Generator expert understands abstractions of the application domain implementation methods wide cognitive distance generator makes expert knowledge available Examples: Data base report generator GUI generator Parser generator GSS-1.3 Task description Generator Implementation Lecture Generating So...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1993
ISSN: 0167-6423
DOI: 10.1016/0167-6423(93)90003-8